有限体はCAT(0)空間の幾何の定理が得られる