Unisolvence theorem