This allowed proofs of properties that are true no matter which numbers are involved.
Ова е овозможило докази за својства кои се вистинити без разлика кои броеви се вклучени.