theorem :: XPRIMES2:2

canceled;