@ARTICLE{NUMBER13.MIZ,
  AUTHOR = {Korni{\l}owicz, Artur and Ziobro, Rafa{\l}},
  TITLE = {Elementary Number Theory Problems. Part {XIII}},
  SECTION1 = {Preliminaries},
  SECTION2 = {Problem 41},
  SECTION3 = {Problem 92},
  SECTION4 = {Problem 121},
  SECTION5 = {Problem 122},
  SECTION6 = {Problem 123},
  SECTION7 = {Problem 172},
  SECTION8 = {Problem 182},
  SECTION9 = {Problem 183},
  SECTION10 = {Problem 191},
  SECTION11 = {Problem 192},
  DAY = {18},
  MONTH = {June},
  YEAR = {2024},
  ADDRESS1 = {Faculty of Computer Science\\University of Bia{\l}ystok\\ Konstantego Cio{\l}kowskiego 1M, 15-245 Bia{\l}ystok\\Poland},
  ADDRESS2 = {Department of Carbohydrate Technology\\University of Agriculture\\Krakow, Poland},
  MSC = {11A41 03B35 68V20},
  KEYWORDS = {number theory; divisibility; prime number; },
  SUMMARY = {In this paper problems 41, 92, 121--123, 172, 182, 183, 191 and 192 from \cite{Sierpinski:1970} are formalized,
  using the Mizar formalism \cite{Mizar-State-2015,BancerekJAR:2018}.
  Because prime numbers are enumerated in MML from 0, Problem 92 is formulated using $k$ and $k+1$ numbers instead of $k+1$ and $k+2$ as it is suggested in the book.
  Problems 191 and 192 are generalized from positive integers to non zero integers.},
}
