take H = goto 0 ; :: according to AMI_1:def 9 :: thesis: H is halting
thus H is halting by Th75; :: thesis: verum