theorem :: XPRIMES0:157

canceled;