This is LaTeX code:
[latex]
P + Q + R = 1_V \Rightarrow P + PQ + PR = P \Rightarrow PQ = - PR
[/latex]