theorem :: XPRIMES2:5754

canceled;