theorem :: XPRIMES2:10

canceled;