Proof by infinite descent

تحويل نزول غير منته