Elementary Number Theory Problems. Part VI. - Grabowski, Adam (Formalized Mathematics, 2022)