How do you prove #tan (pi - x) = -tanx#?