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