Solution of the Monomer-Dimer Model on Locally Tree-Like Graphs. Rigorous Results