Proof of three conjectures on congruences