theorem :: XPRIMES2:939

canceled;