theorem :: EUCLID:33

canceled;