一見当たり前のように思うが証明が難しい定理