Vi måste derför antaga ,att