birth of a theorem