:: deftheorem EUCLID_6:def 3 :
canceled;