Angle properties and proofs