Definition:Regular Octahedron