872 没有假设