実数体上のノルム多元体はたった四種類であり、oのほかは、実数の全体r,複素数の全体c,四元数の全体hしかない。