theorem :: XPRIMES2:4926

canceled;