>>884
つまり

5n≡0 のとき

n≡0は合同式の性質から導けるものではないんですね?