斜め上の証明方法