wagners theorem