Покупатель для покупки нашего автомобиля часть суммы платит используя автокредит на сумму

Покупатель для покупки нашего автомобиля часть суммы платит используя автокредит на сумму 800 тр. И ему необходимо данную сумму указать в договоре купле- продажи, который он передаст в банк. Но мы данный автомобиль купили по ДКП за 100 тр. Период владения менее 3 лет. Если данный ДКП с суммой 800 тр будет фигурировать только в банке, но не в ГИБДД и не в декларации для налоговой - будем ли мы вынуждены платить налог?