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