Supplementary Material for VDE and GCFN A Theoretical Details and Proofs Notation We use the expectation operator in different contexts in the proof