theorem :: SCMFSA8B:30

canceled;