theorem :: XPRIMES0:1123

canceled;