>>61
前提と結果がわかってますから
前提、結果を数式化して
式変形を繰り返すということですかね