Como formula_260 es perpendicular a formula_259 se tiene (por proposición 9) que