theorem :: EUCLID:48

canceled;