theorem :: SCMFSA8B:29

canceled;