theorem Th38: :: COMPOS_1:54

for S being COM-Struct
for i being Instruction of S holds card (Load i) = 1