theorem :: XPRIMES2:1966

canceled;