Show that \[\mathbf{cos}\text{ }\left( \mathbf{2}\text{ }\mathbf{ta}{{\mathbf{n}}^{-\mathbf{1}}}~\mathbf{1}/\mathbf{7} \right)\text{ }=\text{ }\mathbf{sin}\text{ }(\mathbf{4}\text{ }\mathbf{ta}{{\mathbf{n}}^{-\mathbf{1}}}~\mathbf{1}/\mathbf{3}).\]