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