theorem :: XPRIMES2:5366

canceled;