話のもっていき方しだいだね。
ax+by>ay+bx ⇔ ax+by-ay-bx>0 が同値変形だから、
ax+by-ay-bx>0 ⇒ ax+by>ay+bx 向きの変形を使って
証明を行うことができるのだけれど、
「ax+by>ay+bx を移項して ax+by-ay-bx>0」と
書いてしまったら、
ax+by>ay+bx ⇒ ax+by-ay-bx>0 という変形を
行ったように読めるので、
後で論理がつながらなくなって、アウト。
逆向きの ⇒ を意識したということを
文章に書いておく必要がある。