theorem :: XPRIMES0:2

canceled;