結果として得られるヘッケ環はgのアフィンワイル群のヘッケ環か、不定元 "q" が "f" の剰余体の位数であるようなアフィンヘッケ環に同型である。