推论2