すなわち、類数公式の右辺が左辺である