theorem :: XPRIMES2:296

canceled;