We are in $R=\mathbb{Z}[x]$ and $I=\langle 4x^3,15 \rangle$ is the ideal of this ring, genereted by $4x^3$ and $15$. We want to prove that $3\not \in \langle 4x^3,15\rangle$.
My answer:
If $3$ was in $I$, then $\exists α(x),β(x)\in R:3=α(x)4x^3+β(x)15$ .
But if $x=0$ then $3=15β(0)\Longrightarrow β(0)\not \in R$ contradiction.
My question: Can we consider $$α(x)=a_0+...+a_nx^n, β(x)=b_0+...+b_mx^m \in R$$ then $$3=4x^3a_0+...+4x^{3+n}a_n+15b_0+...+15b_mx^m=15b_0+...+(15b_3+a_0)x^3+...$$ and then (because factors of two sides must be equal) $3=15b_0\Longrightarrow b_0\not\in \mathbb{Z}$. Contradiction.
Is this proof right?