下面那一个作为前提加上去，可以使这个断言成为演绎有效的推理