Let a is perpendicular to α, a is in β, then β and α are perpendicular planes. That is, if the plane β has the line a perpendicular to the plane α, then the planes α and β are perpendicular to each other.
You need to install ActiveX plugin to be able to view this model.
You can download it here.
