theorem Th5: :: SCMFSA10:5

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