Definir retas paralelas, reta perpendicular a um plano e demonstrar que se duas retas são paralelas todo plano perpendicular a uma delas é também perpendicular à outra.