deletions | additions       diff --git a/bits4.tex b/bits4.tex  index 2eae4d2..1bfc4ff 100644  --- a/bits4.tex  +++ b/bits4.tex 
...
\end{Theorem}  \begin{Example}\label{ExMorevar}  As %As  regards the function returning $1$ %$1$  if a vector of bits is $1$ and $0$ otherwise, we can see that if we consider, %consider,  for example, vectors of $4$ bits, it can be represented by the function  %$$f: %function  $$f:  (\Fb)^4 \rightarrow \Fb $$ %$$(x_1,x_2,x_3,x_4)\mapsto $$(x_1,x_2,x_3,x_4)\mapsto  x_1x_2x_3x_4 +1. $$ \end{Example}