대재학은 수직으로 증명한다.