>>70
>>54の(1)をn次元に拡張したらどうなるんだろ?