Πεψενθε 

`and`(AB = sqrt(`+`(`+`(1, 1), 4)), sqrt(`+`(`+`(1, 1), 4)) = sqrt(6)) 

`and`(BC = sqrt(`+`(`+`(1, 4), 1)), sqrt(`+`(`+`(1, 4), 1)) = sqrt(6)) 

`and`(AC = sqrt(`+`(`+`(4, 1), 1)), sqrt(`+`(`+`(4, 1), 1)) = sqrt(6)) 

P = `+`(`*`(3, `*`(sqrt(6))))