theorem :: EUCLID:28

canceled;