请问是怎么从这个条件推出这个结论的……