theorem :: XPRIMES2:830

canceled;