Demonstrar que se $A$, $B$, $C$ são ângulos de um triângulo não retângulo, então $$\mathrm{tg}A+\mathrm{tg}B+\mathrm{tg}C=\mathrm{tg}A.\mathrm{tg}B.\mathrm{tg}C$$ É verdadeira essa fórmula no caso de um triângulo retângulo? Justifique a resposta.