theorem :: XPRIMES2:6930

canceled;