希伯修斯的重大发现有哪些