Ручка в два раза дороже карандаша, а ластик в три раза дешевле карандаша. Стоимость ручки, карандаша и ластика составляет 40 рублей. Сколько стоит ластик?