partition function p congruences