7^18 ≡ 1 mod 19成立。