Soit et deux entiers relatifs non tous deux nuls.
Si , alors il existe deux entiers relatifs et premiers entre eux tels que : .