フロベニウスの定理の応用により、多様体 "m" が局所平坦ということと、曲率がゼロであるということとは同値であると結論できる。