@ARTICLE{NUMBER05.MIZ,
  AUTHOR = {Korni{\l}owicz, Artur and Naumowicz, Adam},
  TITLE = {Elementary Number Theory Problems. {P}art {V}},
  ACKNOWLEDGEMENT = {The Mizar processing has been performed using the infrastructure of the
  University of Bialystok High Performance Computing Center.},
  SECTION1 = {Problem 12},
  SECTION2 = {Problem 13},
  SECTION3 = {Problem 31},
  SECTION4 = {Problem 32},
  SECTION5 = {Problem 33},
  SECTION6 = {Problem 35},
  SECTION7 = {Problem 40},
  SECTION8 = {Problem 47},
  SECTION9 = {Problem 76},
  SECTION10 = {Problem 79},
  DAY = {30},
  MONTH = {September},
  YEAR = {2022},
  ADDRESS1 = {Institute of Computer Science\\University of Bia{\l}ystok\\ Konstantego Cio{\l}kowskiego 1M, 15-245 Bia{\l}ystok\\Poland},
  ADDRESS2 = {Institute of Computer Science\\University of Bia{\l}ystok\\ Konstantego Cio{\l}kowskiego 1M, 15-245 Bia{\l}ystok\\Poland},
  SUMMARY = {This paper reports on the formalization of ten selected problems from
  W. Sierpinski's book ``250 Problems in Elementary Number Theory'' \cite{Sierpinski:1970}.
  Problems 12, 13, 31, 32, 33, 35 and 40 belong to the chapter devoted to the divisibility of numbers,
  problem 47 concerns relatively prime numbers, whereas problems 76 and 79 are taken from
  the chapter on prime and composite numbers.}
  }
