贝塔平行于阿尔法,
阿尔法内任意直线平行于贝塔
阿尔法垂直于伽马,过阿尔法内一点作阿尔法与伽马交线的垂线a,
这条垂线a垂直于伽马
a平行于贝塔,
过a做平面M交贝塔于a'
则a//a'
a垂直于伽马
a'垂直于伽马
a'在平面贝塔内
贝塔垂直于伽马