theorem :: XPRIMES0:1049

canceled;