Kontrollieren von Lösungen durch Umkehroperation