theorem :: XPRIMES2:4

canceled;