cycle

• unknown source
  • graph class cycle has constant maximum leaf number
  • graph class cycle has unbounded girth
• assumed
  • graph class cycle is included in graph class connected – by definition
  • graph class cycle is included in graph class cycles – by definition