Perhaps then we can prove that all the non-trivial zeroes encoded on the real number line lie on a nice pattern which we can prove to hold using proof-by-induction Has anyone tried anything like this?