>>707
見かけではなく本質を見ろ
本質は　|c|<|a|＋|b| と c＝a＋b があるだけだ (記号の節約で|a＋b|<|a|＋|b|と書いてるだけ)
証明せよの方は |d|−|e|<|f| と f＝d＋e だ
そう考えれば |d|<|f|＋|e|, d＝f−e＝f＋(−e) が目的だと分かるだろ