>>506
PDEしばらくやってないからうろ覚えだけど、ソボレフの補題って次元に依存してるんじゃなかったっけ?