Multi-Species Mean Field Spin Glasses. Rigorous Results