The conjecture was proposed by Nagata (1972) and proved by Ualbai U. Umirbaev and Ivan P. Shestakov (2004).
Förmodan framlades av Nagata (1972) och bevisades av Ualbai U. Umirbaev och Ivan P. Shestakov (2004).