theorem :: XPRIMES0:311

canceled;