prove that (1- cos(pi)/(8))(1-cos(3 pi)/(8))(1-cos(5 pi)/(8))(1=cos(7 pi)/(8))=(1)/(8)