theorem Th10: :: SCMPDS_5:22

for i being Instruction of SCMPDS st InsCode i = 1 holds
not i is parahalting