theorem :: SCMFSA8C:4

canceled;