theorem Th3: :: SCMFSA10:3

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