This is the content of the regular value theorem (also known as the submersion theorem).
これは正則値定理 (regular value theorem) （沈め込み定理 (submersion theorem) とも呼ばれる）の内容である。