Proofs of congruence and similarity