Seja um vetor unitário do , normal aos vetores e e com coordenada positiva. Se é o ângulo entre os vetores e , , então vale