theorem Th4: :: SCMFSA10:4

for a, b being Int-Location holds SubFrom (a,b) = [3,{},<*a,b*>]