Stateful ODE-Nets using Basis Function Expansions--Supplement Materials -- A Proofs A.1 Proof of Theorem