>>228
まず定理の内容を表してみないことには話が始まりません。