Usando los axiomas del cálculo exterior, uno puede derivar: