欧拉定理推论