有限体の存在証明へのアプローチ