:: deftheorem ANALMETR:def 7 :
canceled;