>前提付き証明より
ちなみに前提付き（条件付き）証明の証明は少し難しい。
証明長に関する帰納法を使うので、推論規則など証明の建付けを完全にかつ具体的に分かってないと証明できない。
アホは「証明の証明」すらちんぷんかんぷんだろうね。