Working out simple arithmetics was at the heart of the decision by the Supreme Court to dismiss the 2020 presidential election petition.