theorem :: SCMFSA8B:28

canceled;