The angle in a semi-circle is a right angle