3M: Die erste kürzere Version gefällt mir als Nicht-Mathematiker besser, es steht alles wesentliche drin und man wird nicht durch Unwesentliches abgelenkt. Nur die Formulierung: "Findet nur ein Gefangener ..." sollte durch "Findet mindestens ein Gefangener ..." ersetzt werden. -- UMyd 12:05, 4. Jul. 2014 (CEST)