Binary base field $\mathbb{F}_2$ and its arithmetic. Base binary field element $\mathbb{F}_2 = \mathbb{Z} / 2\mathbb{Z}$