theorem :: XPRIMES2:4967

canceled;