theorem :: XPRIMES2:2582

canceled;