theorem :: EUCLID:30

canceled;