>>874
1≡5n+4≡-n+1 から n≡0