theorem Th11: :: AMI_3:11

for l being Data-Location holds Values l = INT by AMI_2:def 16, AMI_2:7;