Prove that: tan x tan(π/3 − x) tan(π/3 + x) = tan 3x