サードの定理

>>5
x²-y²=0 は多様体では無い。