theorem :: EUCLID:42

canceled;