theorem :: EUCLID:1

canceled;