I annat fall måste man antaga ,att