Clausen's product identity