Можно так сказать, что нечетные и честные коэфф в свою очередь тоже на подгруппы делятся.
И этот процесс будет около-бесконечным.
Для этого мне очень не помешала бы помощь программиста. Написать пирогу нужно. Вручную это очень все муторно
Почти наверняка никакая ваша программа гипотезу не докажет - потому что программой можно проверить лишь ограниченное количество вариантов поведения, а длина пути (и вариантов перехода между классами) может быть произвольно велика (много).
Доказывать надо по другому, без программ (как похоже Вы хотите их использовать).
Да, бывают доказательства и с программами, но тогда
непременно прикладывается
строгое математическое доказательство что количество вариантов ограничено и программа перебрала их все. Это похоже не Ваш случай. Потому программа Вам думаю не поможет.
А программировать здесь умеют многие (если не вообще все отметившиеся в теме).