Template:Congruence condition on enumeration