正四面体に含まれる正八面体