Πεψενθε 

`and`(AC = sqrt(`+`(`^`(2, 2), `^`(4, 2), `*`(`+`(`*`(4, `*`(`*`(2, 2)))), `/`(1, 2)))), `and`(sqrt(`+`(`^`(2, 2), `^`(4, 2), `*`(`+`(`*`(4, `*`(`*`(2, 2)))), `/`(1, 2)))) = sqrt(`+`(`+`(4, 16), 8)), ...