theorem
  p"\/"q =p lcm q;
