theorem :: XPRIMES2:1010

canceled;