theorem Th2: :: SCM_INST:2

for a2 being Nat holds [6,<*a2*>,{}] in SCM-Instr