Bizonyítsuk be, hogy ha a tízes számrendszerben felírt abc¯ szám osztható 7-tel, akkor a bc¯+16abc¯-61a tört egyszerűsíthető 7-tel.