theorem :: XPRIMES2:846

canceled;