穴の次元はさまざまである。