Då är den nödvändiga betingelsen förett