“平行公理”与“垂线的性质”之间有什么区别