\beamer@slide {thm:eisgen}{18}