theorem :: XPRIMES0:593

canceled;