Lehman-Scheffe theorem