a>bかつc>dのとき,a+c>b+d
a+c>b+c=b+c>b+d

QED/