拉姆齐法则怎么推导