theorem :: SCMFSA_9:17

canceled;