Para verificar , primero se asume formula_114, esto es, existe una matriz regular P tal que formula_110.