An easy counting lemma

The paper is written for two different groups: first for computer scientists implementing searches under symmetry, and second for mathematicians supporting them, and interested in understanding how search spaces can be diminished under symmetry.