l huiliers theorem