Kontrolle von Lösungen durch Umkehroperation