The definition of vertical plane proves that the dihedral angle formed by two faces is a straight dihedral angle.

The vertical plane judgment theorem proves that there is a straight line in one plane, which is perpendicular to another plane.

Second, the vector method

Prove that the normal vectors of two planes are perpendicular to each other.