728.104 정리 증명(Theorem Proving) 기법