theorem :: SCMFSA8A:20

canceled;