theorem :: SCMFSA_9:4

canceled;