王亭之-安星法与推断实例