theorem :: EUCLID:27

canceled;