Lemma 1
If $F$ is a field and if $p$ is an irreducible polynomial with coefficients in $F$, then $F[x]/(p)$ is a field.
Proof
A polynomial $p\in F[x]$ is irreducible if and only if $(p)$ is a maximal ideal in $F[x]$. A quotient $R/I$ of a commutative ring $R$ by an ideal $I$ is a field if and only if $I$ is a maximal ideal in $R$. Q.E.D.
Lemma 2
In the context of Lemma 1, $F\subseteq F[x]/(p)$ so $F[x]/(p)$ is a vector space over $F$. The dimension of this $F$-vector space is $\text{deg}(p)$.
Proof
Firstly, technically $F$ is not a subset of $F[x]/(p)$. However, the canonical homomorphism $F[x]\to F[x]/(p)$ restricts to a homomorphism of $F\to F[x]/(p)$ (since $F$ is a subset of $F[x]/(p)$). Furthermore, this map $F\to F[x]/(p)$ is injective (an element of $F[x]$ is sent to $0$ under $F[x]\to F[x]/(p)$ if and only if its divisible by $p$; clearly, no constant polynomial is divisible by $p$ except $0$). Therefore, we can view $F$ as a subset (in fact, a subfield) of $F[x]/(p)$.
We claim that the set ${\cal B}=\{1+(p),x+(p),x^2+(p),\dots,x^{\text{deg}(p)-1}+(p)\}$ is a basis for $F[x]/(p)$ as an $F$-vector space. Firstly, if $q+(p)\in F[x]/(p)$ (for $q\in F[x]$), then the division algorithm implies that $q=pa+b$ for $a,b\in F[x]$ and $b=0$ or $\text{deg}(b)<\text{deg}(p)$. Since $q+(p)=b+(p)$ and $b+(p)$ is clearly in the span of ${\cal B}$, it follows that ${\cal B}$ spans $F[x]/(p)$ as an $F$-vector space.
An equation of linear dependence for ${\cal B}$ is equivalent to a polynomial $q$ of degree less than that of $p$ equalling zero in $F[x]/(p)$. If the coefficients of $q$ were non-zero, then this would be a contradiction as $p$ cannot divide any non-zero polynomial of smaller degree. Therefore, $q=0$ and ${\cal B}$ is linearly independent.
Therefore, $F[x]/(p)$ is $\text{deg}(p)$-dimensional as an $F$-vector space. Q.E.D.
Lemma 3
If $V$ is a vector space of dimension $n$ over a finite field $F$ with $k$ elements, then $V$ has $k^n$ elements.
Proof
Exercise! Q.E.D.
Exercise: What is the number of elements in $\mathbb{Z}_2[x]/(x^3+x^2+1)$?
I hope this helps!
Best Answer
This is not true. The polynomial $x^{2014}-x^{1000}+1$ has $x^2+6$ as a factor, and in particular is not irreducible. You can quickly verify this by observing that if $x^2=-6$ then (working in $\mathbb{Z}_{13}$) $$x^{2014}-x^{1000}+1=(-6)^{1007}-(-6)^{500}+1=(-6)^{11}-(-6)^8+1=0.$$