Πεψενθε 

`and`(`*`(tg, `*`(alpha)) = `+`(`/`(`*`(4), `*`(`+`(6, -3)))), `+`(`/`(`*`(4), `*`(`+`(6, -3)))) = `/`(4, 3))