Deraf måste nödvändigtvis denslutsatsen