Теорема: преступнику не имеет смысла брать заложников. Доказательство по
индукции. Если преступник возьмёт одного заложника, то, убив его, он
лишится единственного козыря, следовательно, он никогда его не убьёт.
Пусть теорема доказана для N заложников. Пусть преступник взял N+1
заложников. Если он убьёт N+1 -го заложника, то он попадёт в ситуацию с
N заложниками, а по доказанному N заложников убивать нельзя.
Следовательно, N+1-й заложник убит не будет. Теорема доказана