theorem :: XPRIMES0:139

canceled;