>>755
|x + y| <= |x| + |y| に x = a + b, y = c を代入して |a + b + c| <= |a + b| + |c|。
x = a, y = b を代入すれば |a + b| <= |a| + |b|。
不等式を連結して |a + b + c| <= |a + b| + |c| <= |a| + |b| + |c|。