Meta-Query-Net: ResolvingPurity-InformativenessDilemmain Open-setActiveLearning (SupplementaryMaterial) ACompleteProofofTheorem4.1