Angle measurements and proofs