theorem :: SCMFSA_2:14

canceled;