theorem :: EUCLID:31

canceled;