20130617 home.education: Learn how theorems came about