:: deftheorem defines one ARYTM_3:def 1 :
one = 1;