theorem :: XPRIMES2:4996

canceled;