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