Lemmas

2 labeled lemmas.

1. Lemma A.1Born Rule from Stability & Measure Geometryv2-audited file
   local uniqueness within a single outcome subspace's refinements
2. Lemma A.2Born Rule from Stability & Measure Geometryv2-audited file
   normalization singles out $p=2$