There is no discussion of how much time would be taken up by the more rigorous proofs that he advocates. The difference between ten lines and ten pages is enough to overturn the (!! implicit !!) contract between school and student, whose terms, to order of magnitude, were set in the 19th Century.