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