Czy kwota otrzymana z tytułu rękojmi stanowi przychód opodatkowany PIT

PROBLEM

Klientka mojego biura rachunkowego nabyła w 2014 r. od dewelopera dom jednorodzinny wraz z działką. Po dokonaniu zakupu zaczęły się uwidaczniać wady budynku. Klientka zwróciła się do sprzedającego z roszczeniem o usunięcie wad. Ostatecznie na mocy zawartego porozumienia deweloper zgodził się obniżyć cenę o 23 000 zł w ramach rękojmi przy sprzedaży. Czy otrzymana przez klientkę mojego biura kwota stanowi dla niej przychód z innych źródeł?