Japanese children learn super-fast mathematics with abacus

Unless they're somehow managing to use an abacus to prove theorems, they're doing super-fast arithmetic with an abacus.