Πεψενθε 

`and`(`*`(cos, `*`(A)) = `/`(`*`(AC), `*`(AB)), `/`(`*`(AC), `*`(AB)) = `/`(1, 2))