The assertion is true only for movetext valid according to the PGN specification. A weaker assertion remains true, but is probably not worth including.