theorem :: SCMFSA8B:25

canceled;