spebe, да мне не интересно, если чесно про паттерны.
Я читал вас, читал, слов умных много, но сути так и не понял.
Вот и написал
Что нужно сначала сформулировать теорему, а потом ее доказывать.
А не как вы.
Доказывали, доказывали, а сформулировать забыли.
Не серчайте, все равно это уже никто не читает, ибо пост уже ушел в аналы.