Manuscript XIII-B@1 · XIII-B.tex · section · b8a5c0f5
Properness is separate from existence
B3b: the joint two-line extension › Properness is separate from existence · lines 1003–1009
This proves the relevant support control without proving the singular joint distribution. Properness cannot repair an undefined distribution product, and an extension theorem cannot be substituted for properness.