Angle in a semi-circle (proof)