Fraysseix-Rosenstiehl's planarity criterion