Александр Степанович думаю не обрадовался такому выбору темы . Какой тут нафик теорвер - ауты посчитать... Он типа дает мощный мат. аппарат, а ты задачи по комбинаторике решаешь – не дело .