Betrachte: “№ 27 ist nicht beweisbar”.