Det senare är en nödvändig följd afdet