你画红线的前面，就是证明你画红线的部分的过程。
也就是说，你画红线的前面，就是在证明左边集合中的任何一个元素，都是右边集合中的元素。所以根据子集的定义，左边集合是右边集合的子集。
证明就在前面
就是我画蓝色线的那两行。
