Πεψενθε 

`and`(AB = `*`(BC, `*`(ctg, `*`(alpha))), `*`(BC, `*`(ctg, `*`(alpha))) = `+`(`/`(`*`(10), `*`(tg, `*`(alpha)))))