Доказательство от противного предположим что а+с<a перенесем а из левой части в правую с<а-а с<0 то есть плучили что с-отрицательное число, что противоречит условию в котором сказано что с неотрицательно значит предположение о том что а+с<а неверно и значит а+с>=а
предположим что а+с<a
перенесем а из левой части в правую
с<а-а
с<0 то есть плучили что с-отрицательное число, что противоречит условию в котором сказано что с неотрицательно значит предположение о том что а+с<а неверно и значит а+с>=а