Om man nämligen antager,