体は零元と異なる単位元の存在を要求する。だから零環はあっても零体はない。