theorem :: SCMFSA8B:31

canceled;