Тетрадь стоит 8 рублей, а ручка — 5 рублей. На сколько тетрадь стоит дороже ручки?

• на 3 рубля
• на 13 рублей
• на 2 рубля