My book proves "if $a(x)$ has degree $n$, it has at most $n$ roots." I will just copy the proof here.
Proof: If $a(x)$ had $n+1$ roots $c_1, \dots,c_{n+1}$, then by Theorem 2, $(x-c_1) \dots (x-c_{n+1})$ would be a factor of $a(x)$, and the degree of $a(x)$ would therefore be at least $n+1$. QED
Theorem 2 says if $a(x)$ has distinct roots $c_1, \dots ,c_m$ in $F$, then $(x-c_1) \dots (x-c_m)$ is a factor of $a(x)$, where $F$ is a field. All the polynomials are over the field $F$.
I just don't understand how that proof proves the theorem it tries to prove. Is it using PMI? Is there any other way to prove this?
This is because for any integral domain $A$ and any non-zero polynomials $f,g\in A[x]$, we have $$\deg f(x)g(x)=\deg f(x)+\deg g(x),$$ hence, if $p(x)$ divides $f(x)$, $\;\deg f(x)\ge\deg p(x)$.
In the present case, we would have $$\deg a(x)\ge\deg\bigl((x-c_1)\dotsm(x-c_{n+1}\bigr)=n+1.$$