theorem Th2: :: SCMFSA10:2

for a, b being Int-Location holds a := b = [1,{},<*a,b*>]