Dowodzenie podzielności i reszty z dzielenia