互いに素な数で割った余りがそれぞれ、であるようなnはを法として一意に存在します。(中国の剰余定理)解nは以下の式で求めることができます。ここで、、、はを法とするの逆元です。すなわち、を満たします。 これをMaximaで素直に書き下してみましょう。 p :…