theorem :: XPRIMES2:1959

canceled;