Proofs involving angle congruence