これは0ではない法での平方剰余である。