theorem Th4: :: SCMPDS_2:7

for k1 being Integer holds [14,{},<*k1*>] in SCMPDS-Instr