Об одном обобщении теоремы делимости Ферма

Получено арифметическое соотношение типа сравнения на множестве всех троек $(G,H,P)$, где $G$ – конечная группа, $H$ – ее подгруппа, $P$ – представление группы $G$ перестановками. Оно превращается в теорему делимости Ферма, если $G=Z_p$, $H=1$, $P$ – регулярное представление группы $G$.