theorem :: EUCLID:39

canceled;