иначе происходит эксплуатация ещё не доказанной теореммы в предложении 4 абзаца про существование
21:04
+177
