FUNCTIONAL TECHNIQUES AND A NON-FORMAL PROOF OF THE EQUIVALENCE THEOREM IN LAGRANGIAN QUANTUM FIELD THEORY