Lemma 7.19 Suppose that L is a field extension of transcendence degree r over a field K and that L is not separably generated over K. If x_1,…,x_n are elements of L such that L=K(x_1,…,x_n), then for a suitable relabeling of the x_i's, the subfield K(x_1,…,x_r+1) of L is of transcendence degree r and is not separably generated over K.

Let us hope that always in road building, as in safemaking, the burglar has been just a little ahead of the safemakers.

The cringe-o-meter peaks during a scene in which a shirtless [Charlie] Hall, well, masters his domain. Hall said he had no issue showing that scene to his mother [Julia Louis-Dreyfus], who played Elaine on Seinfeld for nine seasons.

When a global MODULE'S wares are imported, the FROM phrase can be used to unqualify the names.