now it can happen that an infinite grade extension might be algebraic