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