theorem :: CONVEX4:64

canceled;