theorem :: XPRIMES2:2493

canceled;