В данной статье приводится доказательство математического утверждения, которое может быть использовано при проверке больших чисел на простоту. По мимо этого, из лемм приведенных в данном доказательстве следуют интересные свойства для натуральных чисел и конечных сумм их цифр.