Angle in a semicircle is a right angle