text: Он вычислил наименьший остаток 2 t − 1 p mod p {\displaystyle {\tfrac {2^{t}-1}{p}}\,{\bmod {\,}}p} для всех простых p < 2000 {\displaystyle p<2000} и обнаружил, что этот остаток равен нулю для t = 364 {\displaystyle t=364} и p = 1093 {\displaystyle p=1093} , тем самым нашел контрпример гипотезе Граве (Grawe) о невозможности сравнения Вифериха.