その前に対角面を定義してもらおうかな