>>975
君はCがアスペと断言しちゃったからなぁ、これはつまりどんな条件でもCはアスペであるという主張
実際には>>937のような反例があるので、この主張は間違い

証明終了