:: deftheorem SCMFSA6B:def 3 :
canceled;