[math-fun] CORRECTION Re: Petersen Graph, or Hemi-dodecahedron