This allowed proofs of properties that are true no matter which numbers are involved.
Αυτό επέτρεψε να αποδειχθούν  ιδιότητες που είναι αληθείς ανεξάρτητα από τους αριθμούς που εμπλέκονται.