[math-fun] Dürer's polyhedron