Resolution of singularities for algebraic varieties in positive characteristic is another example. Many statements in algebraic K-theory have been proven to follow from this conjecture.