$\definecolor{red}{RGB}{255,0,0}$$\definecolor{black}{RGB}{0,0,0}$ : Greatest common divisor of two positive integers

To find their Greatest common divisor (GCD),
introduce two positive integers: