theorem :: XPRIMES2:1006

canceled;