theorem :: XPRIMES2:3

canceled;