Prove this using natural deduction: xy(P xy Qxy) -> xyP xy