theorem :: SCMFSA8C:80

canceled;