Supplementary Materials for " Directed Cyclic Graph for Causal 1 Discovery from Multivariate Functional Data " 2 A Proof of theorem 2.1