そのためしばしばホプキンス・レヴィツキの定理(hopkins-levitzki theorem)と呼ばれる。