theorem :: XPRIMES2:3070

canceled;