On the Existence of modulo p Cardinality Functions