Proofs involving congruences