theorem :: XPRIMES0:11

canceled;