aka double sampling trick, etc

used in proofs of VC dimension and Rademacher complexity generalization bounds