A Proofs A.1 Derivation of the per-sequence ELBO