すみません、証明問題とかの時に例えばa-b>c-d　の証明の時に
a-b>c-d　の式をたててからこれを変形していくっていうやり方はありですか？