Доказательства составных чисел: математические методы