theorem :: XPRIMES2:6543

canceled;