theorem Th8: :: SCMFSA7B:8

for a, b, c being Int-Location st a <> b holds
not SubFrom (b,c) destroys a