theorem :: XPRIMES2:4976

canceled;