theorem :: SCMPDS_2:77

for a being Int_position holds not return a is halting