Category:UFD is GCD Domain