Gravar-mail: Certain Congruence Criteria Connected with Fermat's Last Theorem