The Strenght of the Delta-system Lemma. - Paul E. Howard; Jeffrey Solski (Notre Dame J. Formal Log., 1993)