theorem Th26: :: SF_MASTR:26

for I being Program of holds UsedILoc I = UsedILoc (Directed I)