theorem :: AMI_5:13

for ins being Instruction of SCM st InsCode ins = 6 holds
ex loc being Nat st ins = SCM-goto loc