Field/Basic properties/Fact

Let ${}K$ be a field, and let ${}a,b,c,a_{1},\ldots ,a_{r},b_{1},\ldots ,b_{s}$ denote elements from ${}K$ . Then the following statements hold.

${}a0=0$ (annulation rule).
${}(-a)b=-ab=a(-b)\,$

(rules for sign).
${}(-a)(-b)=ab\,.$
${}a(b-c)=ab-ac\,.$
From ${}a\cdot b=0$ one can deduce ${}a=0$ or ${}b=0$ .
${}{\left(\sum _{i=1}^{r}a_{i}\right)}{\left(\sum _{k=1}^{s}b_{k}\right)}=\sum _{1\leq i\leq r,\,1\leq k\leq s}a_{i}b_{k}$ (general law of distributivity).