theorem :: XPRIMES2:5734

canceled;