W jaki sposób opodatkować sprzedaż roszczenia o odszkodowanie?

Informatyk prowadzi samodzielnie działalność gospodarczą. Leasinguje samochód osobowy (leasing operacyjny). Kilka miesięcy temu nastąpiła stłuczka, nie z winy informatyka. Naprawa oraz odszkodowanie od firmy ubezpieczeniowej sprawcy wypadku rozliczyła w całości firma leasingująca. Informatyk chciałby uzyskać od firmy ubezpieczającej sprawcę odszkodowanie z tytułu utraty wartości swojego auta. Leasingodawca dokonał cesji tego odszkodowania na rzecz informatyka. Informatyk chce to roszczenie "sprzedać" swojemu prawnikowi. Kwota utraty wartości stwierdzona przez rzeczoznawcę to 12.000 zł. Informatyk chce sprzedać to roszczenie za 4500 zł.

Czy taka transakcja podlega opodatkowaniu PIT?

Jak ją udokumentować?