З довільної точки А променя а опустимо перпендикуляр АС на промінь с і АВ на промінь b. Оскільки площини кутів α і β перпендикулярні, то СВ – проекція АВ на площину кута α. За теоремою про три перпендикуляри СВ b. Отже, трикутники АСО, СВО, АВО – прямокутні.