Πεψενθε 

 

`and`(m = `*`(4, `+`(`*`(`/`(1, 2), `*`(sqrt(2), `*`(`/`(`/`(1, 2))))))), `*`(4, `+`(`*`(`/`(1, 2), `*`(sqrt(2), `*`(`/`(`/`(1, 2))))))) = `+`(`*`(4, `*`(sqrt(2)))))