theorem Th37: :: COMPOS_1:53

for S being COM-Struct
for i being Instruction of S holds 0 in dom (Load i) by TARSKI:def 1;