theorem :: SCMFSA8C:9

canceled;