theorem :: XPRIMES2:314

canceled;