Buď konečná grupa a
algebra funkcí na
s bodovým násobením,
(počet prvků grupy). Je-li
,
pak
je funkce na
identicky rovna
. Dále využijeme
toho, že vnoření
je isomorfismus (viz. (32); dimense obou prostorů je rovna
).
Je-li
, pak
jako prvek z
definujeme předpisem