On Lehman's Width-Length Characterization