theorem :: XPRIMES2:601

canceled;