Redirecting to Fraysseix–Rosenstiehl's planarity criterion