theorem :: SCMFSA_2:4

canceled;