:: deftheorem SCMFSA8A:def 3 :
canceled;