不属于,属于推倒证明,它是一种理想状态下模拟出来的假设成立情况,没有说在真实中去实验