theorem :: XPRIMES2:1935

canceled;