theorem :: SCMFSA_2:6

canceled;