4 lemmas of Riemann's Hypothesis continued
- (I forgot an important fact)
... and s = 1/2 + it is a zero of the zeta function as extended by Riemann
or anyone else for that matter into the complex plane, defined everywhere
except for a simple pole at s=1.