[frege-begriffschrift-thm71.png]