theorem :: XPRIMES2:5262

canceled;