prove that ; tan20 . tan30 . tan40 = tan10