A≦BかつC≦Dの時、A-C≦B−Dが成り立つのはA〜Dが0以上の時ですか?