theorem :: XPRIMES2:6870

canceled;