米迪定理说明如果将formula_1化为b进制小数（其中p为质数，a是小于p的正整数），且小数的循环节长度是偶数，则有以下性质：这个定理还可再推广为广义米迪定理：若把长度2n的循环节划分为长度为k的formula_5个组，即formula_6，则formula_7是formula_8的倍数。循环节长度是16，是偶数，可应用米迪定理。循环节长度是18，是偶数，可应用米迪定理。
定理的证明.米迪定理可以用群论中的结果来证明。然而，也可以用算术和同余来证明米迪定理：设