Talk:Stromquist–Woodall theorem