Definition

Given , is defined as the least positive integer such that where . Remark You can have of negative numbers (one or both) but the is always strictly positive.

Theorem

  1. ,
  2. If is common multiple of and and ,
  3. is a common multiple of and
  4. ,
  5. ,