theorem :: EUCLID:26

canceled;