Zur mathematischen Begründung der Neuen-Tamm-Dancoff-Methode im Fall des anharmonischen Oszillators