theorem :: EUCLID:2

canceled;