prove finite