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