theorem :: EUCLID:32

canceled;