Hans beräkning visade sig vara riktig: