Es sei K {\displaystyle {}K} ein Körper und seien a , b , c , a 1 , … , a r , b 1 , … , b s {\displaystyle {}a,b,c,a_{1},\ldots ,a_{r},b_{1},\ldots ,b_{s}} Elemente aus K {\displaystyle {}K} . Dann gelten folgende Aussagen.
(Vorzeichenregel).
ein
Körper und seien 
Elemente aus . Dann gelten folgende Aussagen.
(Annullationsregel).
folgt
oder
(Nichtnullteilereigenschaft).
(allgemeines Distributivgesetz).
