theorem :: XPRIMES0:1601

canceled;