"it follows directly from algebra that i and −i are both square roots of −1."
Isn't that the long way to say "Seven and Out."
