Los matemáticos describen un específico método de comprobación como elegante.