theorem :: XPRIMES2:1004

canceled;