If that were true almost every non trivial proof would be way way wayyyy too long.