超型は4凸していいですか?