modularity theorem proof