Sylvester-Gallai theorem