A positive integer *n* is *prime* if it has no non-trivial factors;
that is, no factors other than 1 and *n*.
Two numbers *n* and *m* are
*relatively prime* if there is no number that divides both,
other than 1.
This implies, for example, that 0 is relatively prime to 1, but to
no other integer.