证明x 属于 y 推出 cl(x) 属于cl(y)