theorem Th5: :: SCMFSA_2:10

for I being Int-Location holds I is Data-Location