Se existem e tais que e , , então, existem e tais que e .