用反证法.
all的反例是=any,意思是和要查询的集合里面的任意一个相等,也就是肯定存在于里面的意思,和in是相同的,所以就和not in等价了,因为in的反例是not in
就是用负负得正的思想,最外层是反,里面的一层是反,其实就是相等