Методы доказательства составных чисел: примеры и алгоритмы