Let = {xP (x, x), P (u, v), P (u, v) P (v, u), P (v, u) P (u, u)}

and suppose that = and that the only inference rules we work with are of the Modus Ponens type. Prove that there is no deduction of P (v, v) from in this specific system.