When Did Democritus Make His Discovery