theorem :: EUCLID:3

canceled;