Angles in a triangle proof