@MISC{NUMBER02.MIZ,
  AUTHOR = {Korni{\l}owicz, Artur and Surowik, Dariusz},
  TITLE = {Elementary Number Theory Problems. {P}art {II}},
  DAY = {30},
  MONTH = {March},
  YEAR = {2021},
  ADDRESS1 = {Institute of Informatics\\University of Bia{\l}ystok\\Poland},
  ADDRESS2 = {University of Bia{\l}ystok\\Poland},
  SECTION1 = {Preliminaries},
  SECTION2 = {Divisibility of Natural Numbers},
  SECTION3 = {Main Pproblems},
  SUMMARY = {In this article, problems 14, 15, 29, 30, 34, 78, 83, 97, and 116 
   from \cite{Sierpinski:1970} are formalized.},
}