theorem :: XPRIMES2:2744

canceled;