theorem :: XPRIMES2:1929

canceled;