theorem :: XPRIMES0:1009

canceled;