theorem :: XPRIMES2:308

canceled;