משפט תומאסן על מעגלים זרים – הבדלי גרסאות

קיימת פונקציה <math>f:\N \to \N</math> כך שעבור כל [[מספר טבעי]] <math>n</math> וגרףו[[גרף מכוון]] <math>\Gamma</math> כך שדרגת היציאה של כל קודקוד ב- <math>\Gamma</math> היא לפחות <math>f(n)</math>, קימים לפחות <math>n</math> מעגלים מכוונים ב-<math>\Gamma</math> שקבוצות קודקודיהם זרים בזוגות.