theorem Th19: :: SCMFSA_X:21

for I being Program of
for a being Int-Location holds card (if<0 (a,I)) = (card I) + 5