推论4