theorem :: XPRIMES2:295

canceled;