Evolution-is-just-a-theorem