Wagner published both theorems in 1937, subsequent to the 1930 publication of Kuratowski's theorem, according to which a graph is planar if and only if it does not contain as a subgraph a subdivision of one of the same two forbidden graphs K5 and K3,3.
Вагнер опубликовал обе теоремы в 1937, после публикации в 1930 теоремы Куратовского, согласно которой граф планарен тогда и только тогда, когда он не содержит в качестве подграфа подразделение одного из тех же самых запрещённых графов K5 и K3,3.