theorem :: XPRIMES2:2590

canceled;