theorem :: XPRIMES2:4993

canceled;