theorem :: XPRIMES2:5931

canceled;