怎样验证平行公理