distance to bounded components

• assumed
  • vertex integrity upper bounds distance to bounded components by a linear function – By definition
  • distance to bounded components upper bounds vertex integrity by a linear function – By definition
• unknown source
  • bounded components upper bounds distance to bounded components by a linear function – by definition