25) K = B₁S ∩ (ABC)

Плоскость A₁B₁B пересекает плоскость ABC по прямой AB. Прямая B₁S пересекает прямую AB на её продолжении за точкой A. Следовательно, K — точка пересечения B₁S и продолжения AB за A.