Question

Let a and b be natural numbers. Prove that if a/b, then gcd(a,b)=a

Answer 1

if a|b, its a pipe, not a division slash

Answer 2

by the definition: a|b, then there is some integer, n, such that b = an

Answer 3

... do we know of a definition for gcd by chance?