Principle Ideal Domain Greatest Common Denominator Exists as Linear Combination Theorem

Theorem

1. With $(R,+,\times )$ as a PID
2. With $a,b\in R$
3. Then, $\exists c,b\in R,ca+db=gcd(a,b)$