となるが、これは "l p" には含まれず、矛盾である。