逆元(aのmを法とする逆数)を求めるために必要な条件はどれか。

フェルマーの小定理や拡張ユークリッドの互除法を用いる際、互いに素であることが必須。