theorem :: EUCLID:47

canceled;