formulate a more advanced theorem - French English Dictionary