theorem Th7: :: SCMFSA6A:17

for I, J being Program of holds dom I c= dom (I ";" J)