Denna senare egenskap medför såsomnödvändig