Re: Discrete Maths Sem 2 2016
$\noindent (This is pretty much the foundation of the Euclidean Algorithm.) Let $g = \gcd (a,b)$ and $h = gcd(a, a-b)$, assuming $(a,b) \neq (0,0)$. Note $g$ divides both $a$ and $b$, so it divides $a-b$ too. Therefore, $g \leq h$, since $h$ is the \emph{greatest}...