Corollary: Cardinality blindness

Under all hypotheses of thm:spectators, replacing the initial state by ${\rho }_0\otimes {\varphi }_N$, for any finite spectator interface and normalized ${\varphi }_N$, leaves the geometric trace unchanged.

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