Πεψενθε 

`and`(AC = `/`(`*`(BC), `*`(cos, `*`(gamma))), `/`(`*`(BC), `*`(cos, `*`(gamma))) = `+`(`/`(`*`(2), `*`(cos, `*`(gamma)))))