In 1910, Mirimanoff expanded the theorem by showing that, if the preconditions of the theorem hold true for some prime p, then p2 must also divide 3p − 1 − 1.
1910-ben Mirimanoff kibővítette a tételt, megmutatva, hogy ha teljesülnek a tétel előfeltételei, akkor a p prímre az is teljesül még, hogy p2 osztója 3p − 1 − 1-nek is.