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