theorem :: SCMFSA8C:15

canceled;