common divisor: an integer that divides two (or more) other integers evenly
abstraction: a general concept formed by extracting common features from specific examples
informing: to furnish incriminating evidence to an officer of the law (usually in return for favors)