finite.v 11.1 KB