Dowodzenie podzielności / reszty z dzielenia