theorem :: SCMFSA7B:18

canceled;