theorem :: SCMFSA8B:26

canceled;