added a lemma and a sentence about def of 1pdm