定理が最初に公になるのは1927年のによるものだが、それとは独立にジョージ・ポリア(ポーヤ)が1937年に再発見し、ポーヤはその結果を多くの数え上げ問題、特に化合物の枚挙に適用して大いに普及させた。