Теорема выражающая признак скрещивающихся прямых