Πεψενθε 

`and`(d = sqrt(`+`(`^`(6, 2), `^`(8, 2))), sqrt(`+`(`^`(6, 2), `^`(8, 2))) = 10)