Editing Bézout's identity (section)

=== For three or more integers===

Bézout's identity can be extended to more than two integers: if 
<math display="block">\gcd(a_1, a_2, \ldots, a_n) = d</math>
then there are integers <math>x_1, x_2, \ldots, x_n</math> such that
<math display="block">d = a_1 x_1 + a_2 x_2 + \cdots + a_n x_n</math>
has the following properties:
* {{math|''d''}} is the smallest positive integer of this form
* every number of this form is a multiple of {{math|''d''}}