Карандаш и ручка

Представьте, что вы пришли в магазин, имея $100$ рублей в кармане. Карандаш стоит $5$ рублей, а ручка – $10$ рублей.