Fáry's_theorem loading ...