\gcd.

\gcd(a,b)=1の時、a,bは互いに素

定理

正の整数a,bに対して、\gcd(a,b)=ax+byを満たすx,y\in \mathbb{Z}が存在する

これ、証明問題の材料として使ったりする