theorem :: XPRIMES2:5720

canceled;