剰余演算の性質と応用