Now let's instantiate back to our integer category, and show that \\(A \times B = gcd(m,n)\\) satisfies this universal property.