9. Advanced Simplification and Induction 9.1 Simplification この節では、単純化に関してこれまで述べてこなかった部分を補足します。 9.1.1 Advanced Features Congruence Rules.P ==> QのQを単純化するのに前提Pを利用できます。==>ならば当然のように…