theorem :: XPRIMES2:5302

canceled;