Πεψενθε 

`and`(R = sqrt(`+`(`^`(`+`(`*`(2, `*`(sqrt(2)))), 2), `^`(1, 2))), sqrt(`+`(`^`(`+`(`*`(2, `*`(sqrt(2)))), 2), `^`(1, 2))) = 3)