Show that cos `(pi)/(15) cos""(2pi)/(15) cos"" (3pi)/(15) cos"" (4pi)/(15) cos"" (5pi)/(15) cos"" (6pi)/(15) cos"" (7pi)/(15) = (1)/(128)`.