:: deftheorem defines 3-CRoot(2) FIELD_10:def 8 :
3-CRoot(2) = 3 -Root 2;