theorem :: XPRIMES2:3976

canceled;