theorem :: SCMFSA_X:13

canceled;