Då är den nödvändiga betingelsenför