Por analogía, si dos planos al cortarse forman ángulos diedros adyacentes congruentes, son perpendiculares.