Ой, не факт, что прописано в ДКП. Они могли купить её просто по ипотеке, а потом поразмыслить и направить этот маткап как частичное досрочное погашение. И ни в каких бумагах его нигде не найдешь, кроме как в платежных документах  да справке из пенсионного фонда.