The actors on the stage and the audience below cheered.