Nærmere bestemt sier den at for alle heltall og slik at , verdien av partisjonsfunksjonen holder kongruensen for uendelig mange ikke-negative heltall .