Prove that: tan(π/12) + tan(π/6) + tan(π/12) tan(π/6) = 1