Начал вспоминать функан и совсем запутался.
RIP, система

тотальна уже в

, так что непонятно, что вы предлагаете взять в качестве полной системы в вашем подпространстве. А вот если из векторов

какой-нибудь один выкинуть, тогда все получится.
upd: ага, теперь правильно.