Разность двух натуральных чисел есть число натуральное