theorem :: CONVEX4:53

canceled;