Elementary Number Theory Problems. Part V. - Korniłowicz, Artur; Naumowicz, Adam (Formalized Mathematics, 2022)