[mizar] New Mizar articles

[Adam Grabowski <adam@math.uwb.edu.pl>]

Piotr Rudnicki submitted an article entitled:
      "Little Bezout Theorem (Factor Theorem)"
        (MML identifier: UPROOTS)

Broderic Arneson and Piotr Rudnicki submitted an article entitled:
      "Primitive Roots of Unity and Cyclotomic Polynomials"
        (MML identifier: UNIROOTS)

Broderic Arneson, Matthias Baaz, and Piotr Rudnicki submitted
  an article entitled:
      "Witt's Proof of the Wedderburn Theorem"
        (MML identifier: WEDDWITT)

Yasumasa Suzuki submitted an article entitled:
      "Banach Space of Bounded Real Sequences"
        (MML identifier: RSSPACE4)

to the Mizar Mathematical Library. The preprints of the articles are
available at:

 http://mizar.uwb.edu.pl/JFM/Preprints.html

-----
  Adam Grabowski
  Library Committee of the Association of Mizar Users