数学板の人たちで試験を作るとしたら

Prop:
体は整域である。すなわち、0以外の零因子を持たない。