# Property: characteristic 0 field

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