同余中反身性 a ≡ a (mod