Se a,b∈Z e d è il loro (MCD) massimo comun divisore, allora esistono x,y∈Z:ax+by=d,a=0∨b=0. lemmi sui sottogruppi additivi di Z (aZ + bZ)