假设,成立(1 / 2)