Um número racional tem representação decimal da forma onde . Supondo-se que:

  • a parte inteira de é o quádruplo de ,

  • estão em progressão aritmética,

  • é divisível por .

Então vale: