Πεψενθε 

c = `+`(`+`(R, `-`(a)), `+`(R, `-`(b))) 

`and`(`+`(`*`(2, `*`(R))) = D, `and`(D = `+`(a, b, c), `+`(a, b, c) = P))