За 7 ручок заплатили 56 гривень, а за 3 олівці — 9 гривень. На скільки один олівець дешевший за ручку?