As a powerful consequence, once you have shown that any particular collection of objects
satisfies the axioms however unintuitive or at variance with your preconceived notions these
objects may be, without any additional effort you may immediately conclude that all the
theorems must also be true for these objects.