Proof difficulty depends on axiom choice and derivation depth, not surface form—identical statements...
This proposition has not been edited since the history system was added.