Alexander proved that the Alexander ideal is nonzero and always principal.
アレクサンダーはアレクサンダーイデアルが零イデアルでないことおよび常に主イデアルとなることを示した。