theorem :: SCMFSA_1:32

dom (SCM*-VAL * SCM+FSA-OK) = SCM+FSA-Memory by Lm8;