Applications in Rigorous Quantum Field Theory