theorem :: XPRIMES2:5

canceled;