theorem :: SCMFSA6C:11

for a, b being Int-Location holds UsedI*Loc (swap (a,b)) = {}