Att så måste vara , är en nödvändig följdal