Talk:Class number formula