Bugfix

$ -> $$ in sum-of-two-squares theorem