En effet, un nombre complexe de forme algébrique a pour module .

Le module de est donc .