Category:Simple Graph of Maximum Size is Complete Graph