Bekićの不動点定理