@MISC{NAT_3.MIZ,
  AUTHOR = {Korni{\l}owicz, Artur and Rudnicki, Piotr},
  TITLE = {Fundamental {T}heorem of {A}rithmetic},
  NOTE = {A. Korni{\l}owicz has been supported by a post-doctoral
      fellowship at Shinshu University, Nagano, Japan.
     P. Rudnicki has been supported by NSERC Grant OGP9207.},
  SECTION1 = {Preliminaries},
  SECTION2 = {More about Bags},
  SECTION3 = {Multiplicity of a Divisor},
  SECTION4 = {Exponents in Prime-Power Factorization},
  SECTION5 = {Prime-Power Factorization},
  DAY = {13},
  MONTH = {February},
  YEAR = {2004},
  ADDRESS1 = {University of Bia{\l}ystok},
  ADDRESS2 = {University of Alberta\\Edmonton},
  SUMMARY = {We formalize the notion of the prime-power factorization of a
  natural number and prove the Fundamental Theorem of
  Arithmetic. We prove also how prime-power factorization can be used to
  compute: products, quotients, powers, greatest common divisors and
  least common multiples.}}

