Доказательство скрещивающихся прямых