Ja, der Schritt fehlt. Ich denke, daß man z.B. mit dem p-adischen Newtonverfahren relativ schnell aus einer Lösung modulo p auf eine Lösung modulo p^n kommt. Das müßte aber noch ausformuliert werden, am besten in einer Form, die nicht die Einführung der p-adischen Zahlen erfordert. Das sollte möglich sein.-- Karl Brodowsky 20:47, 16. Jan. 2012 (CET)