Angles in a triangle proof with angles