Πεψενθε 

 

`implies`(`and`(h = sqrt(`+`(`^`(10, 2), `-`(`^`(`+`(`*`(`/`(1, 2), `*`(`+`(18, -2)))), 2)))), `and`(sqrt(`+`(`^`(10, 2), `-`(`^`(`+`(`*`(`/`(1, 2), `*`(`+`(18, -2)))), 2)))) = 6, 6 = `+`(`*`(2, `*`(r...