formulate a more advanced theorem - Français Anglais Dictionnaire