0<x<pi일때
다음의 명제를 증명하여라

0<y<pi-x인 임의의 실수 y에 대해서

siny + sin(pi-x-y) > sinx


단 삼각함수의 합성을 이용하지 말것