INCIDENTE DE INEJECUCIÓN 62/2000, DERIVADO DEL JUICIO DE AMPARO INDIRECTO 94/98. SUCESIÓN TESTAMENTARIA A BIENES DE ÁNGEL VERAZA VILLANUEVA.

"Existe, en cambio, cosa juzgada sustancial, cuando a la condición de inimpugnable en el mismo proceso, se une la inmutabilidad de la sentencia aun en otro juicio posterior.

"En cierto modo, la cosa juzgada formal es un presupuesto de la cosa juzgada en sentido sustancial, ya que constituye un antecedente necesario sin el cual no es posible llegar a ésta.

"Puede existir cosa juzgada formal sin cosa juzgada sustancial, tal como ocurre en los ejemplos que acaban de proponerse. No puede existir, en cambio, cosa juzgada sustancial sin cosa juzgada formal, porque a ésta no se llega sin la preclusión de todos los medios de revisión.

"La afirmación ya anticipada de que la cosa juzgada es la suma preclusión se refiere especialmente a esta circunstancia. La plena eficacia de la cosa juzgada sólo se obtiene cuando se ha operado la extinción de todas las posibilidades procesales de revisión de la sentencia; tanto en el juicio en que fue dictada como en cualquier otro juicio posterior.