theorem Th1: :: SCMFSA_1:1

SCM-Memory c= SCM+FSA-Memory by XBOOLE_1:7;