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