Bu masalada tenglamalar istemasi keltirilmagan. Shu sababli undagi tenglamalarga sun`iy ozgaruvchilar kiritib uni kengaytilgan sistemaga aylantiramiz. U holda quyidagi masala hosil bo'ladi: Bu yerda, yeltarlicha katta musbat son. Sun`iy bazis ozgaruvchilariga mos vektorlar «sun`iy bazis vektorlar» deb ataladi. Berilgan (1) masalaning optimal yechimi quyidagi teoremaga asoslanib topiladi.