>>595
(a−b)+(c−d) >0+0
のところで証明すべき事柄を使っていませんか?