Actually, it can be proven that also the quadrifocal constraints are not independent [32].