Прямые BB1и СС1 образуют плоскость β, которая содержит прямую АВ и пересекает данную плоскость по прямой АВ1 так, что в плоскости β имеются два подобных треугольника АСС1 и АВВ1 (угол А у них общий, а ∠C = ∠В так как прямые СС1 и ВВ1 параллельны). Тогда:
