Referenced by:

• bezouts-identity
• gcd