theorem :: XPRIMES2:6

canceled;