Theorem

Given two non-zero elements $a,b\in\mathbb{F}[x]$, the gcd, $d$ of $a$ and $b$ exists and is unique up to units. Moreover, $\exists u,v\in\mathbb{F}[x]$ s.t. $$au+bv=d$$ ## Remark Analogue to Theorem 1.1.