0
Hiltgunt Zassenhaus died in 2004.
Hiltgunt Zassenhaus was born in 1916.
Hans Julius Zassenhaus died in 1991.
Hans Julius Zassenhaus was born in 1912.
This usually means the upcoming lemma is an adaption of a previous lemma to a mathematical object related to the one in the first lemma.