skulle bevisas ” , ett räknetal , ur hvilket summan obevekligen kommer fram.