theorem :: SCMFSA8C:10

canceled;