First JXG test

Menelaus theorem: \( \overline{A \gamma} \cdot \overline{B\alpha} \cdot \overline{C\beta} = \overline{B\gamma} \cdot \overline{C\alpha} \cdot \overline{A\beta} \)
In this case we have,
\(\color{blue}\overline{A \gamma} \cdot \overline{B\alpha} \cdot \overline{C\beta} = \)
\(\color{red} \overline{B\gamma} \cdot \overline{C\alpha} \cdot \overline{A\beta} = \)