В туристической поездке в Европу Катя расплачивается картой российского банка

В туристической поездке в Европу Катя расплачивается картой российского банка. Карта рублевая, поэтому суммы всех покупок, выраженные в другой валюте, пересчитываются в рубли. В магазине в Берлине продавец предложил Кате выбрать, в какой валюте, рублях или евро, сумма покупки будет списана со счета ее карты. Если Катя выбирает рубли, то стоимость покупки переводится в рубли по курсу немецкого продавца, а если евро, то – по курсу российского банка, выпустившего карту. Катя выбрала рубли, посчитав, что это выгоднее, поскольку ее карта рублевая. В результате этой операции за покупку на 175 евро с ее карты было списано 13125 рублей (по курсу продавца). Верно ли, что, выбрав списание в евро, Катя заплатила бы большую сумму в рублях? Курс российского банка, выпустившего карту, в день покупки составлял 72,47 рублей.