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