Category:GCD from Prime Decomposition