Πεψενθε 

`and`(`/`(`*`(x[a]), `*`(x[d])) = `/`(`*`(y[a]), `*`(y[d])), `and`(`/`(`*`(y[a]), `*`(y[d])) = -2, `and`(-2 = `+`(`*`(4, `*`(`/`(-2)))), `+`(`*`(4, `*`(`/`(-2)))) = -2)))