theorem :: XPRIMES2:5280

canceled;