gausss class number conjecture