theorem :: SCMFSA_X:18

canceled;