求证:集合{a,a^2-a-8}有3个真子集的充要条件是a不等于4且a不等于-2.