Sea "d" el mínimo positivo de "S={ax + by|x,y∈Z}".