微分についての事実は積分に絡んだ事柄を用いずに証明できる。
本当にカット除去からこんなこといえる？
微分が定義できる程度の仮定があれば、積分も定義できるはず。
積分を用いて証明できるということはその体系が積分を扱えるだけ十分強いということなのだから、
今の主張を示すためには、
微分に関する任意の事実を証明するのに用いる公理群が積分を扱うには弱すぎることを示さないといけない。
でも、それは無理だろう。