theorem :: SCMFSA8A:19

canceled;