Using i to rewrite square roots of negative numbers