theorem :: SCMFSA8B:1

canceled;