theorem :: XPRIMES0:113

canceled;