对这些性质的论证