theorem :: SCMFSA_9:6

canceled;