theorem Th1: :: SCMFSA10:1

for o being Object of SCM+FSA holds
( not o in Data-Locations or o is Int-Location or o is FinSeq-Location )