En nödvändig följd är ,att