Methode der gegenseitigen Bestätigung zwischen abstrakter Theorie und konkreten Instanzen