Ваня смастерил для друзей 9 корабликов. Ваня подарил друзьям 4 кораблика. Сколько корабликов осталось осталось у Вани?