theorem :: XPRIMES2:130

canceled;