theorem :: EUCLID:40

canceled;