#common_divisor__common_factor__common_measure  an integer that divides two (or more) other integers evenly
  supertype:  #divisor.integer__factor  one of two or more integers that can be exactly divided into another integer; "what are the 4 factors of 6?"
  subtype:  #greatest_common_divisor__greatest_common_factor__highest_common_factor  the largest integer that divides without remainder into a set of integers

No statement uses or specializes #common_divisor; click here to add one.