give a sufficient precondition for theorem-2