:: deftheorem EUCLID_4:def 3 :
canceled;