先求x的解集：
x^2-6x+8=0
x^2-6x+9=1
(x-3)^2=1
x-3=1或x-3=-1
x=4或x=2
x的解集为{2,4}
已知集合为{2,3,4,5}
x的解集是已知集合的真子集.