可算集合

対偶A={(x,y)∈ℝ²|y³+yx²≤x³+xy²}B={(x,y)∈ℝ²|y≤x}⊂集合を論理の包含関係→⇒と解釈します。y³+yx²≤x³+xy²(仮定)y(y²+x²)≤x(x²+y²)(分配法則)y(x²+y²)≤x(x²+y²...