deletions | additions       diff --git a/header.tex b/header.tex  index 7e13cd8..7e61fc3 100644  --- a/header.tex  +++ b/header.tex 
...
\usepackage{amsmath} \usepackage{amsmath,amsthm,amssymb}  \newcommand{\Fq}{ \mathbb{F}_{q}}  \newcommand{\FF}{ \mathbb{F}}  \newcommand{\Fp}{ \mathbb{F}_{p}} 
...
\newcommand{\FALSE}{\textrm{FALSE}}  \newcommand{\TRUE}{\textrm{TRUE}}  \newcommand{\NN}{\mathbb{N}}  %\newtheorem{Theorem}{Theorem} \newtheorem{Theorem}{Theorem}