theorem :: XPRIMES2:4960

canceled;