theorem :: XPRIMES2:1280

canceled;