Dowodzenie twierdzeń z teorii podzielności