Доказательство о билайне (и я первый придумал Ош про них ещё 11 мая)