証明は有限的手続き