Jede der n{\displaystyle {}n} verschiedenen n{\displaystyle {}n}-ten Einheitswurzeln besitzt eine Ordnung d{\displaystyle {}d}, die ein Teiler von n{\displaystyle {}n} ist. Eine n{\displaystyle {}n}-te Einheitswurzel der Ordnung d{\displaystyle {}d} ist eine primitive d{\displaystyle {}d}-te Einheitswurzel. Die Aussage folgt daher aus