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