Frobenius Congruence Lemma