- (n + 1) <> 0 ;
hence goto (- (n + 1)) is No-StopCode by SCMPDS_5:21; :: thesis: verum