立方体の切断面：切り口が五角形の確率