Sobre as relações a seguir tem-se que: C ≠ C₁ é condição necessária para A = A₁ . P ≠ P₁ é condição suficiente para C = C₁ . A ≠ A₁ é condição necessária para C ≠ C₁ . P = P₁ é condição suficiente para A = A₁ . Com essas informações, tem-se que: