Dicho corolario es aplicable al ejemplo expuesto más arriba (y a muchos similares), ya que Q tiene característica 0 por lo que toda extensión finita sobre Q es separable.