theorem :: COMPOS_1:48

for S being COM-Struct
for I, J being Program of S holds dom I misses dom (Reloc (J,(card I)))