Mamy udowodnić twierdzenie, które mówi, że jeżeli suma cyfr czterocyfrowej liczby dzieli się przez , to cała liczba jest podzielna przez .
Założenia:
,
 są cyframi.