23) K = D₁F ∩ (ABC)

Плоскость правой боковой грани пересекает плоскость ABC по прямой DC. Прямая D₁F пересекает прямую DC на её продолжении за точкой C. Следовательно, K — точка пересечения D₁F и продолжения DC за C.