theorem Th14: :: SCMFSA6A:24

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