Πεψενθε 

 

 

`and`(d = sqrt(`+`(2, sqrt(3))), `and`(sqrt(`+`(2, sqrt(3))) = sqrt(`*`(`+`(4, `*`(2, `*`(sqrt(3)))), `/`(1, 2))), `and`(sqrt(`*`(`+`(4, `*`(2, `*`(sqrt(3)))), `/`(1, 2))) = sqrt(`+`(`*`(`/`(1, 2), `*...