Vonjuk le egy egész szám utolsó jegyének kétszeresét az utolsó jegy elhagyásával kapott számból (ha az egész szám egyjegyű, akkor 0-ból). Igazoljuk, hogy ha az eredmény osztható 7-tel, akkor az eredeti szám is mindig osztható 7-tel, ha viszont az eredmény nem osztható 7-tel, akkor az eredeti szám sem lehet 7-tel osztható.