Which proves the statement