verify sin(72)·sin(6)·sin(18) = sin(138 - 72)·sin(6)·sin(12)