theorem :: XPRIMES2:1025

canceled;