Prove that: tan 20° tan 30° tan 40° tan 80° = 1