theorem :: SCMFSA8B:41

canceled;