Las matemáticas se verifican.