theorem :: XPRIMES2:976

canceled;