theorem :: XPRIMES2:1964

canceled;