Property: characteristic 0 field

Definition: The sum of any positive number of 1's is always nonzero.

(No citations retrieved.)

(No metaproperty information retrieved.)