Comment Comment by tslater2006 Because if he had the general proof he wouldn't need to go out of his way to prove n=4, since it would be covered already by the general proof parent tslater2006 1 year ago