Functional techniques and a non-formal proof of the equivalence theorem in Lagrangian quantum field theory