順序体の元の標数は必ず0である.
元の