Πεψενθε
![x[N] = `*`(`+`(x[M], x[K]), `/`(1, 2))](images/m_54.gif){kind=small}
![`and`(x[K] = `+`(`*`(2, `*`(x[N])), `-`(x[M])), `+`(`*`(2, `*`(x[N])), `-`(x[M])) = 5)](images/m_55.gif){kind=small}
![`and`(y[K] = `+`(`*`(2, `*`(y[N])), `-`(y[M])), `+`(`*`(2, `*`(y[N])), `-`(y[M])) = 8)](images/m_56.gif){kind=small}
![`and`(z[K] = `+`(`*`(2, `*`(z[N])), `-`(z[M])), `+`(`*`(2, `*`(z[N])), `-`(z[M])) = 5)](images/m_57.gif){kind=small}