theorem Th6: :: SCMFSA_2:11

for l being Int-Location holds Values l = INT