theorem :: XPRIMES2:2601

canceled;