theorem :: XPRIMES0:167

canceled;