马歇尔勒纳条件推导