theorem :: XPRIMES2:5260

canceled;