Es sei K {\displaystyle {}K} ein Körper. Aus a ⋅ b = 0 {\displaystyle {}a\cdot b=0}
folgt a = 0 {\displaystyle {}a=0} oder b = 0 {\displaystyle {}b=0} .