theorem :: AMISTD_1:17

for N being with_zero set
for i being Instruction of (Trivial-AMI N) holds i is halting