theorem :: XPRIMES0:1051

canceled;