theorem :: XPRIMES0:389

canceled;