#Lindemann–Weierstrass theorem #ferdinand von lindemann #karl weierstrass #german mathematics #number theory proof #history of mathematics