theorem :: SCMFSA8B:27

canceled;