Lemma. Groupoid cardinality of BG [00EW]