Методы доказательства последовательностей: примеры и объяснения