互いに素であること

ブール値 アイバーソンの規定によって、0は偽、1は真である^[1]。