added final lemma (can now delete supplement 2)