(六)以构造代替推论