Om Ryssland måste dra sig ut ur Syrien frigörs soldater och militär teknik. Men det blir knappast avgörande för kriget i Ukraina.