一种推论