:: deftheorem SCMFSA6A:def 2 :
canceled;