theorem :: CONVEX4:65

canceled;