theorem :: XPRIMES0:601

canceled;