theorem :: XPRIMES2:876

canceled;