theorem :: XPRIMES2:1005

canceled;