証明問題の合同条件のまとめノートです。