Introduction_to_the_Class_Number_Formula_587.pdf