theorem :: XPRIMES2:5290

canceled;