The proof of the classification of finite simple groups is bigger than that.