Corollary: Cardinality blindness within the declared rule class

Under the hypotheses of thm:spectators, inserting any finite product spectator state ${\rho }_0\otimes {\varphi }_N$ leaves the geometric trace and original accessible matter reductions unchanged.

Proof. A product insertion is a special case of eq:extension.