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