sin20+sin13sin57-sin33sin77=sin20+sin13sin57-sin(90-57)sin(90-13)
sin20+sin13sin57-sin(90-57)sin(90-13)=sin20+sin13sin57-cos(57)cos(13)
sin20+sin13sin57-cos(57)cos(13)=sin20-(cos57cos13-sin13sin57)
sin20-(cos57cos13-sin13sin57)=sin20-cos(57+13)
sin20-cos(57+13)=sin20-cos70
sin20-cos70=sin 20 -cos(90-20)
sin 20 - cos(90-20)=sin 20 - (cos90cos 20+sin90sin 20)
sin 20 - (cos90cos 20+sin90sin 20)=sin 20-sin 20=0