Hard times to come. There are not simple groups of order 2016. The document then provides a proof by contradiction. It analyzes the possible values that the number of Sylow 7-subgroups could take and shows each leads to a contradiction. It concludes that a simple group of order 2016 does not exist.