Bourbaki-Kneserの不動点定理