How many mathematicians does the main protagonist meet in the musical "Fermat's Last Tango"?