Πεψενθε 

`implies`(`*`(sqrt(6), `*`(`/`(`+`(`*`(`/`(1, 2), `*`(sqrt(2))))))) = `*`(a, `*`(`/`(`/`(1, 2)))), `and`(a = `/`(`*`(`*`(`+`(`*`(2, `*`(sqrt(6)))), `/`(1, 2))), `*`(sqrt(2))), `/`(`*`(`*`(`+`(`*`(2, `...