Si se encuentra restringido a los elementales de la teoría de números (como etiqueta). Yo iba a escribir "el conjunto de todas integral de las combinaciones lineales de $\,a,b\,$ es igual al conjunto de todos los múltiplos enteros de su mcd", cuyo elemento sabio forma es ampliamente conocida como la identidad de Bezout para el mcd.
Más elementarily, yo diría que cualquier común divisor $\,c\,$ $\,a,b\,$ de los lineales de la forma $\,c = ja+kb,\,$ $\,j,k\in\Bbb Z,\,$ es, necesariamente, un mayor común divisor, ya que $\,d\mid a,b\,\Rightarrow\, d\mid ja+kb = c,\,$ $\,d\le c.$