Definition:Octahedron/Regular