>>696
垂直は結論だから、仮定では使えない。