Математическое доказательство для натуральных чисел