:: deftheorem SCMFSA6B:def 2 :
canceled;