theorem :: XPRIMES2:900

canceled;