Тождество Безу — Положительно-целочисленные комбинации взаимно простых положительных целых чисел

Тождество Безу: наибольший общий делитель (НОД) положительных целых чисел x1, x2, ..., xn может быть выражен как их целочисленная комбинация. Если x1, x2, ..., xn взаимно просты, то любое достаточно большое положительное целое число может быть записано как их строго положительная целочисленная комбинация.