theorem :: SCMFSA8C:13

canceled;