theorem :: SCMPDS_I:2

[14,{},<*0*>] in SCMPDS-Instr