theorem :: XPRIMES2:1

canceled;