IF ～ THEN GOTO ～ のようにTHEN以下にGOTOのみが書かれている場合のみ「THEN」もしくは「GOTO」が省略できます。 私のサイトでも書いていますが、プチコンでは省略できるものは多数あります。 IF B AND 16 THEN ～というのもすでに省略された状態ですが、このように無意識に省略形を使っている場合も多いですね。