theorem :: XPRIMES0:1747

canceled;