As promised, we now use motions to prove the triangle inequality.