theorem :: AMI_6:1

for T being InsType of the InstructionsF of SCM holds
not not T = 0 & ... & not T = 8