theorem :: SCMFSA6A:39

for I, J being Program of holds dom (I ";" J) = (dom I) \/ (dom (Reloc (J,(card I))))