theorem :: XPRIMES2:1001

canceled;