Порция мороженого стоит 9 рублей. Пряник 2 рубля . Шоколад стоит столько, сколько мороженое и пряник вместе. Сколько стоит шоколад?