UFD is GCD Domain

Theorem
Let $A$ be a unique factorisation domain.

Then $A$ is a GCD domain.