theorem :: XPRIMES2:2930

canceled;