ثابت کنید هر گراف ساده‌ی مسطح مثلث-آزاد که در آن $3 \leq \delta$ و میانگین درجات بیشتر از $3.2$ است دارای دوری به طول $$۴ یا $۸$ می‌باشد.