prove |x + y| is greater than or equal to |x| - |y|