theorem :: XPRIMES2:840

canceled;