En 1910, Mirimanoff fue capaz de desarrollar el teorema al mostrar que si los requisitos del teorema son válidos para un cierto número primo formula_1, entonces formula_2 debe dividir también a formula_54.