[see also: alone, only, single
Since the entire argument is based solely upon assumption (6.1), the conclusion of the theorem must hold.