theorem :: XPRIMES0:1741

canceled;