theorem :: XPRIMES2:1933

canceled;