>>695
ax+by-ay-bx>0は、これから証明しようとすることだから。
「ax+by>ay+bxを証明するにあたってax+by>ay+bx>0を証明する」と言うならいいけど。

やっちゃダメなのは
> まだ結論は「言えていない」ので結論を「言ってしまうと」
ってことであって、不等式の定理を使ってはいけないといっているわけじゃない。