A Supplementary Material A.1 Proof Theorem 1. Assuming a family