推论5