theorem :: XPRIMES2:1969

canceled;