Пусть всё будет доказательно!