theorem :: SCMFSA_2:13

canceled;